weak disjunction

[数] 弱析取